Modular aspects of rewrite-based specifications

We investigate modular properties of term rewriting systems, the basic operational formalism for equational speciications. First we study suucient conditions for the preservation of the termination property under disjoint (and more general) combinations of term rewriting systems. By means of a reened analysis of existing approaches we show how to prove several new asymmetric preservation results. For this purpose we introduce two interesting new properties of term rewriting systems related to collapsing reductions: uniquely collapsing and collapsing connuent. We discuss these properties w.r.t. well-known connuence, consistency and normal form properties, and show that they are modular for left-linear systems, but not in general. Aspects modulaires de sp eciications bas ees sur la r e ecriture R esum e : Nous etudions des propri et es modulaires de syst emes de r e ecriture qui constituent le formalisme op erationnel de base des sp eciications equationnelles. Dans un premier temps nous consid erons des conditions suusantes pour la pr eservation de la terminaison de syst emes de r e ecriture sous des combinaisons disjointes (et plus g en erales). A partir d'une analyse d etaill ee d'approches existantes nous montrons plusieurs nouveaux resultats asym etriques de pr eservation. Dans ce contexte nous introduisons deux nouvelles propri et es int eressantes de r eductions eeondrantes. Nous les comparons avec d'autres propri et es bien connues de connuence, de consistance et de formes normales, et nous montrons qu'elles sont modulaires pour les syst emes lin eaires a gauche, mais pas pour des syst emes arbitraires.